COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	 Floating Overflow and Underflow Testing
C00004 ENDMK
C⊗;
;;; Floating Overflow and Underflow Testing
;;;	FLOVER.FAS[MAC,LSP]
;;; (floating-over-underflowp) tests whether either a floating
;;;	overflow or underflow has occurred; clears conditions
;;; (floating-overflowp) tests whether a floating overflow has
;;;	occurred; clears conditions
;;; (floating-underflowp) tests whether a floating underflow has
;;;	occurred; clears conditions

(lap floating-over-underflowp subr)
 (args floating-over-underflowp (nil . 0))
	(movei a '())
	(jsp t fal2)
fal2	(tlze t #o40000)
         (movei a 't)
	(tlz t #o100)
end 	(hrri t end3)
	(jrst 2 0 t)
end3	(popj p)

(entry floating-underflowp subr)
 (args floating-underflowp (nil . 0))
	(movei a '())
     	(jsp t fal3)
fal3	(tlze t #o100)
	 (movei a 't)
	(tlz t #o40000)
	(jrst 0 end)

(entry floating-overflowp subr)
 (args floating-overflowp (nil . 0))
	(setz tt)
     	(jsp t fal4)
fal4	(tlzn t #o100)
	 (movei tt 1)
	(tlzn t #o40000)
	 (xori tt 1)
	(move a table tt)
	(jrst 0 end)

table	(0 0 '())
	(0 0 't)
	()